Rippling out

نویسنده

  • Nigel Williams
چکیده

extremely optimistic about the future. There are two general categories for my enthusiasm: the tangible benefits that will be brought by financially invigorated research programs, and perhaps the more important intangible benefits to morale, image and outlook that will be brought by replacing political ideologues with responsible scientists. Even if I myself never see a single dollar in increased research funding, I am elated and strongly motivated by simply knowing that the new administration takes an intelligent, scholarly and rigorous approach to science policy.” Echoing this sentiment, Joshua Dubnau, a behavioural geneticist at Cold Spring Harbor remarked, “In general, I am much more optimistic now than I was with the Bush administration or with McCain. I think Obama is smart, thoughtful, and has certainly given some well-meaning statements regarding the importance of research...unlike Bush/Cheney/ McCain, Obama appears to live in the reality-based universe. So I do not think he will censor or subvert scientists when truths are inconvenient.” With regard to funding, Obama has certainly made some sweeping proposals. In specific terms, he plans to double the funding to both the National Institutes of Health and the National Science Foundation over the next 10 years and to pump 150 billion dollars into clean-energy technologies. To stimulate research and development in the private sector, Obama promises to reinstate the R&D tax credit. In addition to direct infusions of cash into research, the fledgling administration would place an emphasis on education by distributing 20,000 stipends to K–12 teachers in high-need areas and locations. At the postgraduate level, the number of NSF fellowships would increase from 1,000 per year to 3,000. Of course, these are all wellintentioned goals, and not many would, in principle at least, oppose such a plan. But, is it feasible? While scientists seem hopeful, skepticism does exist concerning where the money will come from, especially considering the uncertain length of America’s tenure in Iraq. For example, Dubnau says, “I worry about whether or not the Obama administration will be willing to expend the political capital necessary to change priorities. How will they find resources to properly fund the infrastructure of this country (which includes science, education, bridges, roads, electrical grid, alternative energy, conservation, etc.) unless they are willing to make major changes to the areas of spending that compete with these goals?” Position platforms aside, what about the man’s judgement? On the issue of climate change, it is clear that Obama’s views are in line with the scientific community in terms of the scope of the problem and the desire to re-engage international efforts to stem the crisis. But there are other hints that Obama is willing to listen, and base his policy decisions on, the advice of respected scientists that represent the consensus views of their fields. For one, he plans to elevate the presidential science advisor to a senior-level position with the title of Director of the Office of Science and Technology Policy. In addition, Obama has promised to use a strict vetting process to appoint individuals to government bodies and advisory panels that is based on merit. Expressing her approval of this new climate, Elizabeth Blackburn, former member of the aforementioned Presidential Panel on Bioethics stated, “... I am thrilled to have an administration that recognizes the value of science and the importance of scientific input in the development of public policies.” If Obama’s rapid appointment of several key cabinet positions is any indication, we’ll soon see who he elevates to the top science positions in the US government and, as a result, gain some key insights into what the future holds for American science policy.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery

We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence facilitates extending the technique in ways that preserve termination. We illustrate this by extending rippling with a terminating version of middle-out reasoning for lemma speculation. This supports automatic speculation of s...

متن کامل

Automating Inductive Speciication Proofs in Nuprl

We present an automatic method which combines logical proof search and rippling heuristics to prove speciications. The key idea is to instantiate meta-variables in the proof with a simultaneous match based on rippling/reverse rippling heuristic. Underlying our rippling strategy is the rippling distance strategy which introduces a new powerful approach to rippling, as it avoids termination probl...

متن کامل

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs

Citation for published version: Bundy, A, van Harmelen, F, Smaill, A & Ireland, A 1990, Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. in 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. vol. Lecture Notes in Artificial Intelligence No. 449, Lecture Notes in Computer Science, vol. 449, Springer-Verlag GmbH, pp. 132-146...

متن کامل

Guiding Proof Search in Logical Frameworks with Rippling

We present a new approach to search guidance for logics presented within a Logical Framework. This approach is based on the idea of rippling, as used in 4] to guide the search for inductive proofs and, more recently, in some non-inductive domains as well. We present our ideas with respect to the Edinburgh Logical Framework (LF) style of representation of logics but conjecture that our approach ...

متن کامل

Termination Orderings for Rippling

Rippling is a special type of rewriting developed for induct-ive theorem proving. Bundy et. al. have shown that rippling terminates by providing a well-founded order for the annotated rewrite rules used by rippling. Here, we simplify and generalize this order, thereby enlarging the class of rewrite rules that can be used. In addition, we extend the power of rippling by proposing new domain depe...

متن کامل

Best-First Rippling

Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure that is decreases with each rewrite step. Because of this restriction, rippling will fail to prove theorems about, for example, mutual recursion as steps that temporarily increase the differences are necessary. Best-firs...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Current Biology

دوره 18  شماره 

صفحات  -

تاریخ انتشار 2008